9. Advances in Dynamic Games and Applications
پدیدآورنده : edited by Tamer Başar, Alain Haurie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Distribution (Probability theory).,Mathematics.
10. Algorithmic Principles of Mathematical Programming
پدیدآورنده : by Ulrich Faigle, Walter Kern, Georg Still.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Computational complexity.,Computer science.,Information theory.,Mathematical optimization.,Mathematics.
11. Algorithmic aspects in information and management :
پدیدآورنده : Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
رده :
QA76
.
9
.
A43
12. Algorithms and Model Formulations in Mathematical Programming
پدیدآورنده : edited by Stein W. Wallace.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Numerical analysis.
رده :
T57
.
7
E358
1989
14. Applications
پدیدآورنده : edited by Jean-Louis Goffin, Jean-Marc Rousseau.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Mathematical optimization.,Mathematics.
رده :
QA402
.
5
E358
1982
15. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Claes Johnson, Donald Estep.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
16. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
17. C++ Toolbox for Verified Computing I :
پدیدآورنده : by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Global analysis (Mathematics),Mathematics.
رده :
QA76
.
73
.
C153
B985
1995
18. Computation mathematical programming
پدیدآورنده : edited by K.L. Hoffman, R.H.F. Jackson, J. Telgen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Civil & Environmental Engineering.,Programming (Mathematics),Programming (Mathematics) -- Congresses.
رده :
QA402
.
5
E358
1987
19. Computational and Analytical Mathematic
پدیدآورنده : / edited by David H. Bailey, Heinz H. Bauschke, Peter Borwein, Frank Garvan, Michel Th?شra, Jon D. Vanderwerff, Henry Wolkowicz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Functional analysis,Operator theory,Number theory,Electronic books
رده :
E-BOOK
20. Conditio
پدیدآورنده : / by Peter B?╝rgisser, Felipe Cucker
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer science,Computer science, Mathematics,Algorithms,Mathematical optimization,Distribution (Probability theory),Electronic books
رده :
E-BOOK
